3

About the implementability and the power of equationally defined data abstractions

Year:
1981
Language:
english
File:
PDF, 1.17 MB
english, 1981
7

Requirements for an imperative language to host logic programming in a seamless way

Year:
1996
Language:
english
File:
PDF, 430 KB
english, 1996